HTSN: A complex workflow model based on colored Petri net
نویسندگان
چکیده
* Corresponding author ABSTRACT Traditional workflow models have obvious shortcomings in describing complex workflows. Such complexity is due not only to the hierarchical property of business process, but also to the complicated dependencies among tasks. In this paper, we first introduce a conceptual task model based on UML class graph. Then we apply colored Petri nets to model task interfaces and composite task versions which form Task State Nets (TSNs) and Task Version Nets (TVNs). The main advantage is that they explicitly express all task interfaces’ internal states and thus they can easily describe the complex control dependencies. Next we further combine TSN/TVN with place refining mechanism and bring forward our Hierarchical Task State Net (HTSN). It supports the description of workflow’s hierarchical structure, multi-versions configuration of composite task as well as the analysis of structural properties. Finally, we give a case study.
منابع مشابه
Modeling and Performance Analysis of Collaborative Workflow System Based on Extended Colored Stochastic Petri Nets ⋆
Based on the Extended Colored Stochastic Petri Nets (ECSPN), the workflow system was modeled and simulated. To improve described capacity of the traditional Petri nets, a model of the extended colored stochastic Petri nets is proposed, and then an instance is given to explain how to model workflow system with priority queuing and multi-instances. Through analysis of the simulation data of the m...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملA Study on Workflow Resource Management Based on Workflow Net and Agent
At present, the resource modeling of workflow net (WF-net) are too simple to describe complex workflow. Thus, its application is not satisfying in practical use. Based on the analysis of resource management problems, unified resources management which gets the identical resource request and release process is proposed. The method of identical resource-modeling reduces complexity of WF-net model...
متن کاملA timed colored Petri nets modeling for dynamic workflow in product development process
Product development process (PDP) is one of the most important business processes for enterprises but it has difficulty in workflow management because of the uncertain and dynamic characteristics. Thus, even though there have been many workflow modeling and management methods, they have limitations to deal with the special characteristics of PDP. We define PWF-nets based on timed colored Petri ...
متن کاملFormally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL
Despite the abundance of workflow analysis techniques from control-flow perspective, there is hardly any method for workflow verification from data processing perspective. In this paper, we restrict the WFCP-net, a Colored Petri Net with WF-net structure, to formally describe the key business entities in a data-centric workflow model. Then, we use ASK-CTL logic to describe the workflow requirem...
متن کامل